lower integral